Automatic Targeting of Embedded Systems Software with Application Specific Operating Systems Generation
ثبت نشده
چکیده
We propose a method of automatic generation of application specific operating systems (OS’s) and automatic targeting of application software. OS generation starts from a very small but yet flexible OS kernel. OS services, which are specific to the application and deduced from dependency between services, are added to the kernel to construct the whole OS. Communication and synchronization functions in the application code are adapted to the generated OS. As a preliminary experiment, we applied the proposed method to a system example called token ring system.
منابع مشابه
Automatic Generation and Targeting of Application Specific Operating Systems and Embedded Systems Software
We propose a method of automatic generation of application specific operating systems (OS’s) and automatic targeting of application software. OS generation starts from a very small but yet flexible OS kernel. OS services, which are specific to the application and deduced from dependency between services, are added to the kernel to construct the whole OS. Communication and synchronization functi...
متن کاملAutomatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for mobile and ubiquitous systems. In this work, we present the internal architecture and design flow of a newly proposed framework called Verifiable Embedded Real-Time Application Framework (VERTAF), which integrates three...
متن کاملObject-based hardware/software component interconnection model for interface design in system-on-a-chip circuits
The design of system-on-a-chip (SoC) circuits requires the integration of complex hardware/software components that are customized to efficiently execute a specific application. Nowadays, these components include many different embedded processors executing concurrent software tasks. In this paper, we present an object-based component interconnection model to represent both hardware and softwar...
متن کاملVerifiable Embedded Real-Time Application Framework
Currently available application frameworks that target at the automatic design of real-time embedded software are poor in integrating functional and nonfunctional requirements for real-time embedded systems. In this work, we present the internal architecture and design flow of a newly proposed framework called Verifiable Embedded Real-Time Application Framework (VERTAF), which integrates three ...
متن کاملAn Approach and Design Pattern for Intra-Application Scheduling
This paper gives a comprehensive overview about a thread-based design pattern for embedded systems. This design pattern focuses on small-sized systems without operating system support, and a methodology for application-specific scheduling is given. This first step is enhanced by the approach to use time-related code constructs for automatic generation of this scheduling. This language enhanceme...
متن کامل